Pii: S0166-5316(99)00056-5

Compositional performance modelling with the TIPPtool

Stochastic Process Algebras have been proposed as compositional specification formalisms for performance models. In this paper, we describe a tool which aims at realising all beneficial aspects of compositional performance modelling, the TIPPtool. It incorporates methods for compositional specification as well as solution, based on state-of-the-art-techniques, and wrapped in a user-friendly gra...

Providing Heterogeneous Quality of Service Bounds for Correlated Video Traffic at a Multiplexor

Distributions of the Interdeparture Times in FCFS and Nonpreemptive Priority MMAP [2]/G [2]/1 Queues

This paper deals with single server queueing systems with two classes of customers and a correlated arrival process. The focus is on the interdeparture times of each class of customer. A uniform approach is introduced to find the Laplace–Stieltjes transforms of interdeparture times for queueing systems with equal priority and nonpreemptive priority, respectively. Algorithms can be developed for...

On the convergence of the power series algorithm

In this paper we study the convergence properties of the power series algorithm, which is a general method to determine (functions of) stationary distributions of Markov chains. We show that normalization plays a crucial role and that the convergence can be improved by introducing some minor changes in the algorithm. We illustrate this with several numerical examples.

Performance modeling of IEEE 802.11 wireless LANs with stochastic Petri nets